]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 250bab0) | patch
ci: Set some sensible defaults
authorJordan Petridis <jpetridis@gnome.org>
Fri, 20 Nov 2020 13:25:53 +0000 (14:25 +0100)
committerJonas Ådahl <jadahl@gmail.com>
Fri, 20 Nov 2020 23:24:22 +0000 (00:24 +0100)
commitb64020f84b34e215910cbea6d2cc177836f46aa3
tree8e76231eade555422ef0d5d758e664e65be12d57tree | snapshot
parent250bab011542cd434581d71a81fa1fad6cc044c4commit | diff
ci: Set some sensible defaults

* Allow for all jobs to be cancelled if a newer commit is pushed
* Automatically retry jobs if they fail due to some infrastructure issue

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1503>
.gitlab-ci.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.